Towards a Formalisation of Erlang Failure and Failure Detection
نویسندگان
چکیده
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in Erlang, a parallel language which is renowned for its fault tolerant capabilities. A formal model is defined in order to provide a precise and unambiguous description of the behaviour of these mechanisms. The correctness of the model is evaluated by considering a simple Erlang program and comparing the behaviour as described by the formal semantics with that of actual Erlang.
منابع مشابه
Cold standby redundancy optimization for nonrepairable series-parallel systems: Erlang time to failure distribution
In modeling a cold standby redundancy allocation problem (RAP) with imperfect switching mechanism, deriving a closed form version of a system reliability is too difficult. A convenient lower bound on system reliability is proposed and this approximation is widely used as a part of objective function for a system reliability maximization problem in the literature. Considering this lower bound do...
متن کاملSelf-healing in payment switches with a focus on failure detection using State Ma- chine-based approaches
Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...
متن کاملSelf-healing in payment switches with a focus on failure detection using State Ma- chine-based approaches
Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...
متن کاملComparison of the effectiveness of imago therapy and cognitive-behavioral couple therapy on marital boredom, failure tolerance and positive feelings towards the spouse in couples
in couples Extended Abstract 1.Introduction Identifying the factors affecting the foundation of the family, such as marital boredom, failure, negative feelings towards the spouse, etc., and examining prevention and elimination strategies, is of undeniable importance. Marital boredom is a painful state of physical, emotional, and psychological exhaustion that affects those who expect their ab...
متن کاملI-34: NRY Haplotype Analysis: towards A Better Understanding of The Genetic Basis of Spermatogenic Failure
It has been established that the Y chromosome carries genes required for spermatogenesis and male fertility. For many decades worldwide screening for gene identification has been conducted in research laboratories. However, it has been a difficult process in identifying such genes (i.e. causative mutations) which could explain the phenotypic variation and could be potentially used as markers fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012